Parameterized complexity of scheduling unit-time jobs with generalized precedence constraints
arxiv.org·5d
🎨Graph Coloring
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
📄Text Chunking
Flag this post
Quantum ground states: Scalable counterdiabatic driving technique enables reliable and rapid preparation
phys.org·16h
⚛️Quantum Algorithms
Flag this post
Hyper-Secure Code Generation via Lattice-Based Homomorphic Encryption & AI-Assisted Verification
🔐Homomorphic Encryption
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Perennial Technical Reading List
🔩Systems Programming
Flag this post
Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
Pitch Multiplication (2017)
🎼Audio Lambda Calculus
Flag this post
Closest consecutive reciprocal sum to an integer
johndcook.com·3d
📐Error Bounds
Flag this post
TB or Not TB: Coverage-Driven Direct Preference Optimization for Verilog Stimulus Generation
arxiv.org·2d
🔧Hardware Verification
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
Evolution Strategies at the Hyperscale
🔲Cellular Automata
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·8h
⚛️Quantum Tape
Flag this post
Is Matrix Multiplication Ugly?
🔬Lean
Flag this post
Where "Simulation" Came From
🔤Type Theory
Flag this post
Loading...Loading more...